Set function - PDFSEARCH.IO - Document Search Engine

Set function
Results: 1102

#	Item
981	Topology via higher-order intuitionistic logic Working version of 18th March 2004 These evolving notes will eventually be used to write a paper Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-10-07 09:46:28 Compact space Subbase Sheaf Continuous function Open set Topological space Sierpiński space Baire space Cover Topology General topology Topos
982	[removed]17JAIST 1 Add to Reading List Source URL: www.ritsumei.ac.jp Language: English - Date: 2004-04-13 01:57:27 Category theory Topology Algebraic topology Simplicial set Function Orbifold Mathematics Abstract algebra Homotopy theory
983	Intensionality, Extensionality, and Proof Irrelevance in Modal Type Theory Frank Pfenning∗ Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-04-10 23:35:37 Deduction Set theory Logic in computer science Symbol Entailment Extensionality Function Interpretation Natural deduction Logic Mathematical logic Mathematics
984	Continuous Lattices in Formal Topology Sara Negri Department of Philosophy Add to Reading List Source URL: www.helsinki.fi Language: English - Date: 2009-01-13 10:02:37 Algebra Weak topology Continuous function Uniform space Forcing Topological space If and only if Open set Vector space Topology Mathematics General topology
985	GDP Festschrift ENTCS, to appear Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2007-02-27 11:19:26 Baire space Continuous function Net Topological space Coherent topology Open set Product topology Subspace topology Finite topological space Topology General topology Mathematics
986	Binary operations on sets (after Ray Mayer’s notes) Definition: A binary operation on a set A is a function ◦ : A × A → A. Binary Add to Reading List Source URL: people.reed.edu Language: English - Date: 2009-03-24 19:02:11 Algebraic structures Group theory Elementary algebra Nonassociative algebra Inverse element Inverse function Function Associative property Multiplicative inverse Mathematics Abstract algebra Algebra
987	Report from Dagstuhl Seminar[removed]Computing with Infinite Data: Topological and Logical Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2012-01-12 03:38:24 Topology Functional analysis General topology Theory of computation Descriptive set theory Computable analysis Computable function Mathematical analysis Baire space Mathematics Mathematical logic Computability theory
988	100 years of Zermelo’s axiom of choice: what was the problem with it? Per Martin-Löf Add to Reading List Source URL: www.math.kth.se Language: English - Date: 2006-02-08 12:22:57 Set theory Constructive set theory Intuitionism Mathematical constructivism Axiom of choice Zermelo–Fraenkel set theory Constructivism Axiom Function Mathematical logic Mathematics Logic
989	Countability axioms ● Add to Reading List Source URL: www.math.sunysb.edu Language: English - Date: 2010-09-18 12:29:06 Topological spaces Normal space Regular space Second-countable space First-countable space Open set Continuous function Base Disjoint union Topology General topology Separation axioms
990	AN INTRODUCTION TO THE LEBESGUE INTEGRAL CHARLES DOSS Add to Reading List Source URL: www.math.uchicago.edu Language: English - Date: 2006-08-12 16:32:34 Lebesgue integration Dominated convergence theorem Integral Henri Lebesgue Almost everywhere Null set Measure Measurable function Monotone convergence theorem Mathematical analysis Measure theory Riemann integral

UPDATE